Floyd's principle, correctness theories and program equivalence

Operationally-Based Theories of Program Equivalence

Violation of the Equivalence Principle in String Dilaton Theories

We study violations of the weak equivalence principle in the context of string dilaton theories. In these models some fundamental constants become spaceas well as time-dependent. We show that although universality of free fall (UFF) experiments set bounds on parameters that govern the cosmological evolution of the scalar fields, these are strongly relaxed when considering the space dependent be...

Equivalence Principle and Clocks

String theory suggests the existence of gravitational-strength scalar fields (" dilaton " and " moduli ") whose couplings to matter violate the equivalence principle. This provides a new motivation for high-precision clock experiments, as well as a generic theoretical framework for analyzing their significance.

On Observational Equivalence and Compiler Correctness

We study the problem of giving proofs of compiler correctness in the framework of observational equivalence 16] and correspondences 17]. The starting point for correctness is a formal semantics of the programming language given in a form of Structural Operational Semantics 15] wich we call Relational Semantics 4, Chapter 2]. We start by introducing Relational Semantics. We then deene an equival...

Charge conservation and Equivalence principle

The THǫμ formalism was developed to study nonmetric theories of gravitation. In this letter we show that theories that violate Local Lorentz Invariance (LLI) or Local Position Invariance (LPI) also violate charge conservation. Using upper bounds on this violation we can put very stringent limits to violations of Einstein Equivalence Principle (EEP). These limits, in turn, severely restrict stri...